Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

This book covers the breadth of Haskell's diverse selection of programming APIs for concurrent and parallel programming. It is split into two parts. The first part, on parallel programming, covers the techniques for using multiple processors to speed up CPU-intensive computations, including methods for using parallelism in both idiomatic Haskell and numerical array-based algori...(展开全部)

This book covers the breadth of Haskell's diverse selection of programming APIs for concurrent and parallel programming. It is split into two parts. The first part, on parallel programming, covers the techniques for using multiple processors to speed up CPU-intensive computations, including methods for using parallelism in both idiomatic Haskell and numerical array-based algori...(展开全部)

The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed p...(展开全部)

The advent of new architectures and computing platforms mean that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local ...(展开全部)

As a developer, you’ve probably heard that functional programming techniques help manage the complexities of today’s real-world, concurrent systems. You’re also investigating designs that help you maximize uptime and manage security. This book is your guide to Elixir, a modern, functional, and concurrent programming language. Because Elixir runs on the Erlang VM, and uses the u...(展开全部)

Threads are essential to Java programming, but learning to use them effectively is a nontrivial task. This new edition of the classic Java Threads shows you how to take full advantage of Java's threading facilities and brings you up-to-date with the watershed changes in Java 2 Standard Edition version 5.0 (J2SE 5.0). It provides a thorough, step-by-step approach to threads prog...(展开全部)